package org.wrm.saferJava.test;

import wrm.saferJava.annotations.state.AllowedCallState;
import wrm.saferJava.oval.constraint.NotNull;
import wrm.saferJava.oval.guard.Guarded;

@Guarded
public class HelloWorldImpl implements IHelloWorld {

	@AllowedCallState(0)
	public void callMeFirst(@NotNull String text) {
		System.out.println("First: " + text);
		
	}

	@AllowedCallState(1)
	public void callMeSecond(String text) {
		System.out.println("Second: " + text);
		
	}

}
